Imperative programming - PDFSEARCH.IO - Document Search Engine

Imperative programming
Results: 88

#	Item
21	Extending Coq with Imperative Features and its Application to SAT Verification Micha¨el Armand1 , Benjamin Gr´egoire1, Arnaud Spiwack2 , and Laurent Th´ery1 1 INRIA Sophia Antipolis - M´editerran´ee, France, Add to Reading List Source URL: assert-false.net Language: English - Date: 2012-02-29 08:17:30 Type theory Data types Computability theory Formal methods Models of computation Lambda calculus C++ classes Type system ALGOL 68 Software engineering Programming language theory Computing
22	Strategy-based feedback for imperative programming exercises Add to Reading List Source URL: portal.ou.nl Language: English Computing Software engineering Nu Computer programming
23	On the Concept of Variable Roles and its Use in Software Analysis Yulia Demyanova, Helmut Veith, Florian Zuleger Vienna University of Technology Abstract—Human written source code in imperative programming languages ex Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2013-10-18 10:27:57 Type theory Variables Environment variable C programming language C syntax Computing Software engineering Data types
24	Unifying Execution of Imperative and Declarative Code Aleksandar Milicevic, Derek Rayside, Kuat Yessenov, Daniel Jackson Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology {ale Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-02-19 15:58:07 Fourier analysis Laplace transform Transforms ALGOL 68 Four-square cipher Obfuscated code Mathematical analysis Integral transforms Programming language theory
25	Aleksandar Milicevic Contact Information 32 Vassar St, Office G706 Computer Science and Artificial Intelligence Laboratory Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-10-06 20:27:30 Programming paradigms Daniel Jackson Alloy Analyzer Alloy Declarative programming Imperative programming Programming language Constraint programming Computer program Computing Software engineering Computer programming
26	Imperative Synchronous Languages The Quartz Language Semantics Imperative Synchronous Languages The Quartz Language Add to Reading List Source URL: www.averest.org Language: English - Date: 2014-03-03 19:21:54 Hardware description languages Source code Procedural programming languages Compilers Data dependency Esterel Computer program Programming language Imperative programming Software engineering Computing Computer programming
27	Aleksandar Milicevic Contact Information 32 Vassar St, Office G706 Computer Science and Artificial Intelligence Laboratory Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-10-06 20:27:30 Computing Daniel Jackson Alloy Constraint programming Declarative programming Imperative programming Programming language Domain-specific language Software engineering Programming paradigms Computer programming
28	The Declarative Imperative: Experiences and Conjectures in Distributed Logic Joseph M. Hellerstein Electrical Engineering and Computer Sciences Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2010-06-01 23:42:06 Query languages Programming paradigms Datalog Database management systems Database theory Prolog Logic programming SQL Relational model Computing Data management Software engineering
29	Microsoft Word - ijita12-3.doc Add to Reading List Source URL: www.foibg.com Language: English - Date: 2015-02-02 08:42:07 Programming paradigms Imperative programming Programming language Prolog Lisp Logic programming Functional programming Procedural programming Object-oriented programming Software engineering Computing Computer programming
30	PDF Document Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-02-19 15:58:07 Programming paradigms Declarative programming Alloy SQL Imperative programming C Programming language Abstraction Constraint satisfaction Computing Software engineering Computer programming